Combinatory logic - PDFSEARCH.IO - Document Search Engine

Combinatory logic
Results: 540

#	Item
371	Sample Paper for the amsmath Package File name: testmath.tex American Mathematical Society Version 2.0, [removed] Add to Reading List Source URL: www.math.mun.ca Language: English - Date: 1999-11-14 19:00:00 Logic in computer science Operator theory Ordinary differential equations Spectral theory Theorems and definitions in linear algebra Sturm–Liouville theory Mathematics Combinatory logic Lambda calculus
372	C Cambridge University Press 2011 TLP: page 1 of 34 1 doi:[removed]S1471068410000529 Add to Reading List Source URL: www.cs.columbia.edu Language: English - Date: 2011-10-10 18:46:28 Mathematical proof Logic programming Algorithm Semiring Shortest path problem Function Probabilistic logic Combinatory logic KeY Mathematics Logic Mathematical logic
373	Sample Paper for the amsmath and lucidabr Packages File name: lucida-amsmath.tex TEX Users Group & American Mathematical Society Version 2.1, 28 November 2005 Add to Reading List Source URL: www.tug.org Language: English - Date: 2005-11-28 11:44:17 Logic in computer science Algebra Operator theory Mathematical analysis Ordinary differential equations Spectral theory Theorems and definitions in linear algebra Sturm–Liouville theory Mathematics Combinatory logic Lambda calculus
374	Dual Decomposition for Parsing with Non-Projective Head Automata Terry Koo Alexander M. Rush Michael Collins Tommi Jaakkola David Sontag MIT CSAIL, Cambridge, MA 02139, USA {maestro,srush,mcollins,tommi,dsontag}@csail.mi Add to Reading List Source URL: people.csail.mit.edu Language: English - Date: 2010-09-01 17:45:56 Theoretical computer science Markov models Convex optimization Linear programming Viterbi algorithm Perceptron Combinatory logic Dynamic programming Operations research Mathematics Applied mathematics
375	An Example of a Special Purpose Input Language to W X Henry Baragar Instantiated Software Inc., 20 Woodmount Crescent, Nepean, Ontario, K2E 5R1 Canada. [removed] Gail E. Harris Add to Reading List Source URL: www.tug.org Language: English - Date: 2011-10-16 21:02:49 Desktop publishing software Digital typography Donald Knuth TeX Typesetting Printf format string Combinatory logic International Obfuscated C Code Contest Computing Software Typography
376	Symbolic Computation for Electronic Publishng Michael P. Barnett Department of Computer and Information Science, Brooklyn College of the City University of New York, Brooklyn, NY[removed]Internet: b a r n e t t e i t s . b Add to Reading List Source URL: www.tug.org Language: English - Date: 2011-10-16 21:02:52 Functions and mappings Computability theory Combinatory logic Lambda calculus Logic in computer science Function Big O notation Primitive recursive function Jan Willem Klop Mathematics Mathematical analysis Theoretical computer science
377	10 The Essence of ML Type Inference François Pottier and Didier Rémy 10.1 Add to Reading List Source URL: pauillac.inria.fr Language: English - Date: 2005-07-01 08:54:05 Type theory Functional languages Lambda calculus Procedural programming languages Logic in computer science ML Type system Operational semantics Combinatory logic Software engineering Programming language theory Computing
378	Deterministic Function Computation with Chemical Reaction Networks∗ Ho-Lin Chen† David Doty‡ Add to Reading List Source URL: solo.ucsf.edu Language: English - Date: 2013-08-31 02:02:06 Computability theory Functions and mappings Theory of computation Function Computable function Combinatory logic Randomized algorithm Theoretical computer science Mathematics Applied mathematics
379	Symbolic Computation for Electronic Publishng Michael P. Barnett Department of Computer and Information Science, Brooklyn College of the City University of New York, Brooklyn, NY[removed]Internet: b a r n e t t e i t s . b Add to Reading List Source URL: tug.org Language: English - Date: 2011-10-16 21:02:52 Functions and mappings Computability theory Combinatory logic Lambda calculus Logic in computer science Function Big O notation Primitive recursive function Jan Willem Klop Mathematics Mathematical analysis Theoretical computer science
380	Polyhedral Outer Approximations with Application to Natural Language Parsing Andr´ e F. T. Martins†‡ Noah A. Smith† Add to Reading List Source URL: www.machinelearning.org Language: English - Date: 2009-05-18 12:16:37 Theoretical computer science Combinatory logic Lambda calculus Logic in computer science Conditional random field Belief propagation Logarithm Mathematics Graphical models Applied mathematics

UPDATE